#agentes no asignados

Agentes no asignados en MAPF basado en compilación

Descubre cómo resolver el problema de MAPF con agentes no asignados usando técnicas de compilación basadas en SAT. Nuevo enfoque SMT-CBS y NRF-SAT.